Merge branch 'inspector-navigation' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 7 Jul 2020 17:04:51 +0000 (17:04 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 7 Jul 2020 17:04:51 +0000 (17:04 +0000)
Inspector navigation

See merge request GNOME/gtk!2201


Trivial merge